Proposition logique (n.f.)